Computer Laboratory

Results: 4525



#Item
131

Programming Satan’s Computer Ross Anderson and Roger Needham Cambridge University Computer Laboratory Pembroke Street, Cambridge, England CB2 3QG Abstract. Cryptographic protocols are used in distributed systems to

Add to Reading List

Source URL: www.cl.cam.ac.uk

- Date: 2006-07-26 10:17:27
    132

    DIFT - Dependent Information Flow Types Typechecker Prototype Draft Release Notes (v1.10) Luisa Lourenço Luis Caires CITI and NOVA Laboratory for Computer Science and Informatics

    Add to Reading List

    Source URL: ctp.di.fct.unl.pt

    - Date: 2015-01-26 04:11:09
      133

      The StarTech Massively Parallel Chess Program Bradley C. Kuszmaul http://theory.lcs.mit.edu/Äbradley Laboratory for Computer Science Massachusetts Institute of Technology

      Add to Reading List

      Source URL: www.top-5000.nl

      - Date: 2007-02-13 11:23:39
        134

        Taking Updates Seriously∗ Danel Ahman Laboratory for Foundations of Computer Science, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom Tarmo Uustalu

        Add to Reading List

        Source URL: danelahman.github.io

        - Date: 2018-03-25 20:15:13
          135

          Normalization by evaluation and algebraic effects Danel Ahman1 Laboratory for Foundations of Computer Science University of Edinburgh

          Add to Reading List

          Source URL: danelahman.github.io

          - Date: 2018-03-25 20:15:13
            136

            The Arpeggigon: A Functional Reactive Musical Automaton Demo, FARM 2017, 9 Sept., Oxford Henrik Nilsson Joint work with Guerric Chupin and Jin Zhan Functional Programming Laboratory, School of Computer Science

            Add to Reading List

            Source URL: functional-art.org

            - Date: 2018-01-20 12:19:10
              137

              Learning to Automatically Solve Algebra Word Problems Nate Kushman† , Yoav Artzi‡ , Luke Zettlemoyer‡ , and Regina Barzilay† † Computer Science and Articial Intelligence Laboratory, Massachusetts Institute of T

              Add to Reading List

              Source URL: yoavartzi.com

              - Date: 2018-04-02 13:13:18
                138

                MFPSCoalgebraic update lenses Danel Ahman1 Laboratory for Foundations of Computer Science, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom

                Add to Reading List

                Source URL: danelahman.github.io

                - Date: 2018-03-25 20:15:13
                  139

                  SMAPs: Short Message Authentication Protocols Khaled Baqer1 , Johann Bezuidenhoudt2 , Ross Anderson1 , and Markus Kuhn1 1 Computer Laboratory, University of Cambridge, Cambridge, UK

                  Add to Reading List

                  Source URL: www.cl.cam.ac.uk

                  - Date: 2017-08-27 10:50:50
                    UPDATE